Get started
Award

HR00112520301

Funded outputs count: 8
Funder award ID: HR00112520301
OpenAlex ID: G6181661201
Stepwise Reasoning Verification: Don't Generate, Classify!
2026 · Shi, Yifei, Korakakis, Michalis, et al. · arXiv (Cornell University)
PDF
Syntax Is Easy, Semantics Is Hard: Evaluating LLMs for LTL Translation
2026 · Priscilla Kyei Danso, Mohammad Saqib Hasan, et al. · IEEE Secure Development Conference (SecDev)
SAQR-QC: A Logic for Scalable but Approximate Quantitative Reasoning about Quantum Circuits
2026 · Nengkun Yu, Jens Palsberg, et al. · Proceedings of the ACM on Programming Languages · 3
DecomposeRL: Learning to Ask Useful, Informative, and Diverse Questions for Semi-Supervised, Traceable Claim Verification
2026 · Roy Dipta, Shubhashis, Padia, Ankur, et al. · arXiv (Cornell University)
PDF
Experiments or Outcomes? Probing Scientific Feasibility in Large Language Models
2026 · Mohammadi, Seyedali, Gaur, Manas, et al. · arXiv (Cornell University)
PDF
Zero-Shot Multimodal Retrieval with Multi-Scale Contextual Representations
2026 · Sourajit Saha, Tejas Gokhale · Proceedings of the conference - Association for Computational Linguistics. Meeting · 1
PDF
GanitLLM: Difficulty-Aware Bengali Mathematical Reasoning through Curriculum-GRPO
2026 · Shubhashis Roy Dipta, Khairul Mahbub, et al. · Findings of the Association for Computational Linguistics: ACL (Findings of ACL)
PDF
Experiments or Outcomes? Probing Scientific Feasibility in Large Language Models
2026 · Seyedali Mohammadi, Manas Gaur, et al. · Proceedings of the conference - Association for Computational Linguistics. Meeting
PDF
Year
Topic