Thomas Reichel (Jun 15 2024 at 08:16): Thomas Reichel (Jun 15 2024 at 08:16):Hello all, as a component of my Master's thesis I am working on a natural language search engine for Coq proofs. We have a demo available here (https://proofdb.tompreichel.com/) if you want to give it a try.
If you make use of the demo, please consider telling us about your experience using this anonymous form (https://forms.gle/4UZKitTiVnb284Qz5).
We are also interested in determining what end-users consider relevant theorems. This anonymous multiple choice survey (https://proofsearchstudy.tompreichel.com/) will help us evaluate and improve the quality of search results. The results of this survey will be released for the community's benefit. Even partially completing the survey is appreciated.
Feel free to forward this message to anyone you'd think is interested in the project.
Thanks!
Last updated: Oct 13 2024 at 01:02 UTC