2 citations · 3 across the 5 of their papers we have counts for
5 papers
Goedel-Architect: Streamlining Formal Theorem Proving with Blueprint Generation and Refinement
Jui-Hui Chung, Ziyang Cai, Zihao Li +14
We introduce Goedel-Architect, an agentic framework for formal theorem proving in Lean 4 centered on blueprint generation and refinement. A blueprint is a dependency graph of defin…
AI Alignment via Incentives and Correction
Rohit Agarwal, Joshua Lin, Mark Braverman +1
We study AI alignment through the lens of law-and-economics models of deterrence and enforcement. In these models, misconduct is not treated as an external failure, but as a strate…
Confabulations from ACL Publications (CAP): A Dataset for Scientific Hallucination Detection
Federica Gamba, Aman Sinha, Timothee Mickus +12
We introduce the CAP (Confabulations from ACL Publications) dataset, a multilingual resource for studying hallucinations in large language models (LLMs) within scientific text gene…
Transformer Assisted Convolutional Network for Cell Instance Segmentation
Deepanshu Pandey, Pradyumna Gupta, Sumit Bhattacharya +2
Region proposal based methods like R-CNN and Faster R-CNN models have proven to be extremely successful in object detection and segmentation tasks. Recently, Transformers have also…
Detection of COVID-19 informative tweets using RoBERTa
Sirigireddy Dhanalaxmi, Rohit Agarwal, Aman Sinha
Social media such as Twitter is a hotspot of user-generated information. In this ongoing Covid-19 pandemic, there has been an abundance of data on social media which can be classif…