Book
Oct 2026
StarFuse: LLM Guided Multimodal Interactive Theorem Proving
Sharvil Athaley, Samyak Singhania, Khushboo Agrawal et al.
· 0 citations
2 papers indexed here
We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.
Not the right person? Other researchers publish under this name.
Open access
Oct 2026
LLM-Assisted Unsatisfiability Proofs for Satisfiability Modulo Theories, Oracles, and Natural Language
Modern software systems routinely invoke components whose source code is unavailable, such as proprietary libraries or cloud-based APIs. Such closed-box functions provide only oracle-style access: they can be executed on concrete inputs, but their internal logic cannot be inspected. Prior work has explored augmenting S...
Gourav Takhar, S. Lahiri, P. Kalita et al.
· 0 citations