Search research

Topics & fields

271–300 of 3,699

Papers

CardsList
  1. Certified Program Synthesis with a Multi-Modal Verifier

    Apr 17, 2026Yueyang Feng, Dipesh Kafle, Vladimir Gladshtein +5Mock-Interface SynthesisVerifier

  2. Text2DSL: LLM-Based Code Generation for Domain-Specific Languages

    Jun 21, 2026Alexander V. Kozachok, Alexander M. Nazimov, Shamil G. MagomedovCode GenerationDomain-Specific Language

  3. SemJoin: Semantic Join Optimization

    Jun 28, 2026Christopher Gou, Aditya Banerjee, Jiaxuan Wang +1Data LakesNatural Language Queries

  4. LapidaryEngine: Fully Conversational Crystal Generation

    Jun 12, 2026Yusei Ito, Yuta Suzuki, Tomoya Murata +1CrystalGenerative Models

  5. SARLO-80: Worldwide Slant SAR Language Optic Dataset 80cm

    Jun 18, 2026Solène Debuysère, Nicolas Trouvé, Nathan Letheule +2Synthetic Aperture RadarMultimodal Dataset