Translating Thought: Advancing First-Order Logic
Interpretation with Llama2 and Z3 Solver
Angel Misael Pelayo Gomez
Fermat111
AI & ML interests
Artificial intelligence, machine learning, transformer neural network, mathematics
Organizations
None yet