CoqPyt: Proof Navigation in Python in the Era of LLMs.
Pedro CarrottNuno SaavedraKyle ThompsonSorin LernerJoão F. FerreiraEmily FirstPublished in: SIGSOFT FSE Companion (2024)
Keyphrases
- open source
- theorem prover
- linear logic
- theorem proving
- navigation systems
- information space
- programming language
- graphical user interface
- artificial intelligence
- open source software
- robot navigation
- databases
- automated theorem proving
- structured environments
- mathematical proofs
- real time
- geometry theorem proving
- collision free
- object oriented programming
- bayesian networks
- real world
- neural network
- data sets