Publications

100 results at NeurIPS 2025

Axiom-Aware FunSearch for Non-Constructive Mathematics
- - Max Esposito
  - Besart Shyti
- 2025
- NeurIPS 2025
MermaidSeqBench: An Evaluation Benchmark for LLM-to-Mermaid Sequence Diagram Generation
- - Basel Shbita
  - Farhan Ahmed
  - et al.
- 2025
- NeurIPS 2025
Specifying exact circuit algorithms in universal transformers
- - Taku Ito
  - Ruchir Puri
  - et al.
- 2025
- NeurIPS 2025
SafeCOMM: Investigating Safety Degradation in Fine-Tuned Telecom Large Language Models
- - Aladin Djuhera
  - Swanand Ravindra Kadhe
  - et al.
- 2025
- NeurIPS 2025
ConstrainedSQL: Training LLMs for Text2SQL via Constrained Reinforcement Learning
- - Weiqin Chen
  - Nhan Pham
  - et al.
- 2025
- NeurIPS 2025
Verbalized Algorithms
- - Supriya Lall
  - Christian Farrell
  - et al.
- 2025
- NeurIPS 2025
SemCLIP: A Semantic Memory-Aligned Vision Language Model
- - Tanveer Syeda-Mahmood
  - Niharika DSouza
  - et al.
- 2025
- NeurIPS 2025
STRIDE: A Systematic Framework for Selecting AI Modalities—Agentic AI, AI Assistants, or LLM Calls
- - Shubhi Asthana
  - Ruchi Mahindru
  - et al.
- 2025
- NeurIPS 2025
Dynamic Features Adaptation in Networking: Toward Flexible training and Explainable inference
- - Yannis Belkhiter
  - Seshu Tirupathi
  - et al.
- 2025
- NeurIPS 2025
Harnessing biomedical foundation models for genomic feature engineering to investigate patient drug response
- - Laura Gardiner
  - Jennifer Kelly
  - et al.
- 2025
- NeurIPS 2025