Search research

Topics & fields

3160 of 3,667

Papers

CardsList
  1. VeriSimpl: Robust Optimization Modeling from Natural Language using Simplification-based Verification

    May 24, 2026Sumaya Abdul Rahman, Seckhen Ariel Andrade Cuellar, Ghani Raissov +1Formal Verification

  2. SleepLM: Natural-Language Intelligence for Human Sleep

    Feb 27, 2026Zongzhe Xu, Zitao Shuai, Eideen Mozaffari +3SleepIntelligence

  3. Communicating Chess Strategies in Natural Language

    Jul 13, 2026Langyuan Cui, Chun Kai Ling, Hwee Tou NgChessNatural Language Queries

  4. Faithful Autoformalization of Natural Language Assertions

    Jul 14, 2026Hongyi Liu, Madhusudan Parthasarathy, Adithya MuraliAutoformalizationSystemverilog Assertions

  5. Evaluating Rational Contracting in Natural Language

    Aug 11, 2026Bhavyesh Sajja, Max Kleiman-Weiner, Roger Zimmermann +1NegotiationKernel Contracts