publications
publications by categories in reversed chronological order. generated by jekyll-scholar.
2025
- Model
- Model
- ACLBFS-Prover: Scalable Best-First Tree Search for LLM-based Automatic Theorem ProvingACL 2025, 2025
2024
- NAACLGPT-Fathom: Benchmarking Large Language Models to Decipher the Evolutionary Path towards GPT-4 and BeyondFindings of the Association for Computational Linguistics: NAACL 2024, 2024
- EACLQuantifying Association Capabilities of Large Language Models and Its Implications on Privacy LeakageFindings of the Association for Computational Linguistics: EACL 2024, 2024
2023
- NeurIPS ICBINBWhy Does ChatGPT Fall Short in Providing Truthful Answers?NeurIPS 2023 Workshop ICBINB: Failure Modes in the Age of Foundation Models, 2023