NLPExplorer
Papers
Venues
Authors
Authors Timeline
Field of Study
URLs
ACL N-gram Stats
TweeNLP
API
Team
Few-Shot Natural Language to First-Order Logic Translation via Code Generation
Junnan Liu
|
Paper Details:
Month: April
Year: 2025
Location: Albuquerque, New Mexico
Venue:
NAACL |
Citations
URL
No Citations Yet
https://www.cs.unm.edu/~mccune/prover9/
https://pyke.sourceforge.net/
https://github.com/cesbit/pyleri
https://openai.com/api
https://huggingface.co/THUDM/codegeex2-6b
Field Of Study