SRI-CSL/augmented-metitarski
An Augmented MetiTarski Dataset for Real Quantifier Elimination using Machine Learning
OCamlCC-BY-SA-4.0
Watchers
- AdamCobb
- apoggio
- brilandSRI International @SRI-CSL
- cericyeh
- ciconnollySRI International
- distephSRI International
- eemailme
- HassenSaidiBay Area, CA
- iamsamwoodPalo Alto, CA
- lilalindaSRI International
- mittimithai
- mkimsriSRI International
- mwfong-csl
- pmundkur
- samowreSRI International
- stevencheung@SRI-CSL
- susmitjhaSRI International
- ulflindqvistSRI International
- vm2p@SRI-CSL