An Augmented MetiTarski Dataset for Real Quantifier Elimination using Machine Learning

Getting started

# clone the project
git clone https://github.com/SRI-CSL/augmented-metitarski.git

# switch to project directory
cd augmented-metitarski

# create conda environment named coprover-augmented-metitarski
conda env create --file env-requirements.yaml

# (optional) list environments available in your system
conda env list

# activate environment
conda activate coprover-augmented-metitarski

Citation

If you find this work useful, please consider citing:

@inproceedings{hester2023revisiting,
  title={{An Augmented Metitarski Dataset for Real Quantifier Elimination using Machine Learning}},
  author={Hester, John and Hitaj, Briland and Passmore, Grant and Owre, Sam and Shankar, Natarajan and Yeh, Eric},
  booktitle={Proceedings of the 16th Conference on Intelligent Computer Mathematics (CICM'23)},
  year={2023}
}

Acknowledgements

This material is based upon work supported by the Defense Advanced Research Projects Agency (DARPA) under Contract No. HR00112290064. Any opinions, findings, and conclusions or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the views of the United States Government or DARPA.