75 citations · 179 across the 24 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
cs.AI2023
math-PVS: A Large Language Model Framework to Map Scientific Publications to PVS Theories
Hassen Saidi, Susmit Jha, Tuhin Sahai
As artificial intelligence (AI) gains greater adoption in a wide variety of applications, it has immense potential to contribute to mathematical discovery, by guiding conjecture ge…
cs.AI2023★ 3 cited
Neuro Symbolic Reasoning for Planning: Counterexample Guided Inductive Synthesis using Large Language Models and Satisfiability Solving
Sumit Kumar Jha, Susmit Jha, Patrick Lincoln +4
Generative large language models (LLMs) with instruct training such as GPT-4 can follow human-provided instruction prompts and generate human-like responses to these prompts. Apart…