:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Li, Ian, Guruprasad, Kapilesh, Sengupta, Raunak, Satish, Ninad, D'Antoni, Loris, Yu, Rose
Format:	Preprint
Published:	2026
Subjects:	Machine Learning
Online Access:	https://arxiv.org/abs/2605.21770
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

PECAN: A Deterministic Certified Defense Against Backdoor Attacks
by: Zhang, Yuhao, et al.
Published: (2023)

Bootstrapping Fuzzers for Compilers of Low-Resource Language Dialects Using Language Models
by: Vaidya, Sairam, et al.
Published: (2025)

Continuous Diffusion Models Can Obey Formal Syntax
by: Kim, Jinwoo, et al.
Published: (2026)

Learning the Error Patterns of Language Models
by: Kim, Jinwoo, et al.
Published: (2026)

Verified Training for Counterfactual Explanation Robustness under Data Shift
by: Meyer, Anna P., et al.
Published: (2024)

Constrained Adaptive Rejection Sampling
by: Parys, Paweł, et al.
Published: (2025)

Grammar-Aligned Decoding
by: Park, Kanghee, et al.
Published: (2024)

Constrained Sampling for Language Models Should Be Easy: An MCMC Perspective
by: Gonzalez, Emmanuel Anaya, et al.
Published: (2025)

Verifying Solutions to Semantics-Guided Synthesis Problems
by: Murphy, Charlie, et al.
Published: (2024)

Language-Based Agent Control
by: Zhou, Timothy, et al.
Published: (2026)

Unrealizability Logic
by: Kim, Jinwoo, et al.
Published: (2022)

A One-Layer Decoder-Only Transformer is a Two-Layer RNN: With an Application to Certified Robustness
by: Zhang, Yuhao, et al.
Published: (2024)

Flexible and Efficient Grammar-Constrained Decoding
by: Park, Kanghee, et al.
Published: (2025)

Synthesizing Specifications
by: Park, Kanghee, et al.
Published: (2023)

LOUD: Synthesizing Strongest and Weakest Specifications
by: Park, Kanghee, et al.
Published: (2024)

Zero-shot Factual Consistency Evaluation Across Domains
by: Agarwal, Raunak
Published: (2024)

Fixed-Budget Constrained Best Arm Identification in Grouped Bandits
by: Mukherjee, Raunak, et al.
Published: (2026)

Learning Safe Autonomous Driving Policies Using Predictive Safety Representations
by: Keswani, Mahesh, et al.
Published: (2025)

Collaborative Causal Sensemaking: Closing the Complementarity Gap in Human-AI Decision Support
by: Jain, Raunak
Published: (2025)

Probabilistic Consensus through Ensemble Validation: A Framework for LLM Reliability
by: Naik, Ninad
Published: (2024)

X-SYNTH: Beyond Retrieval -- Enterprise Context Synthesis from Observed Digital Human Attention
by: Raghavan, Guruprasad, et al.
Published: (2026)

The Format Tax
by: Lee, Ivan Yee, et al.
Published: (2026)

Semantics of Sets of Programs
by: Kim, Jinwoo, et al.
Published: (2024)

ChopChop: a Programmable Framework for Semantically Constraining the Output of Language Models
by: Nagy, Shaan, et al.
Published: (2025)

Automating Unrealizability Logic: Hoare-Style Proof Synthesis for Infinite Sets of Programs
by: Nagy, Shaan, et al.
Published: (2024)

Predicting NCAP Safety Ratings: An Analysis of Vehicle Characteristics and ADAS Features Using Machine Learning
by: Kunwar, Raunak, et al.
Published: (2025)

Búsqueda de disonancias en discursos y prácticas sobre música
by: Maurizia D'Antoni
Published: (2017)

Virtualidad crítica en el aula universitaria en la pandemia (y más allá)
by: Maurizia D’Antoni
Published: (2020)

VIGOTSKI, DESARROLLO INFANTIL Y APORTES PARA EL AULA COSTARRICENSE
by: Maurizia D'Antoni
Published: (2009)

Competencia cultural e inteligencia cultural. Aportes a la mediación cultural docente
by: Maurizia D'Antoni
Published: (2011)

Derechos humanos de la infancia en un trabajo comunal universitario
by: Maurizia D'Antoni
Published: (2006)

Crisis en la educación secundaria: ¿reproducir o transformar?
by: Maurizia D'Antoni
Published: (2005)

Manifold Steering Reveals the Shared Geometry of Neural Network Representation and Behavior
by: Wurgaft, Daniel, et al.
Published: (2026)

Safe Langevin Soft Actor Critic
by: Keswani, Mahesh, et al.
Published: (2026)

HH-SAE: Discovering and Steering Hierarchical Knowledge of Complex Manifolds
by: Wu, Honghan, et al.
Published: (2026)

Online Convex Optimization with Unbounded Memory
by: Kumar, Raunak, et al.
Published: (2022)

Mitigating Overthinking in Large Reasoning Models via Manifold Steering
by: Huang, Yao, et al.
Published: (2025)

Game-Theoretic Deep Reinforcement Learning to Minimize Carbon Emissions and Energy Costs for AI Inference Workloads in Geo-Distributed Data Centers
by: Hogade, Ninad, et al.
Published: (2024)

Dynamic Graph Attention Networks for Travel Time Distribution Prediction in Urban Arterial Roads
by: Yousefzadeh, Nooshin, et al.
Published: (2024)

Spotlight Your Instructions: Instruction-following with Dynamic Attention Steering
by: Venkateswaran, Praveen, et al.
Published: (2025)