Saved in:
| Main Authors: | Li, Ian, Guruprasad, Kapilesh, Sengupta, Raunak, Satish, Ninad, D'Antoni, Loris, Yu, Rose |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| 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)
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)
by: Vaidya, Sairam, et al.
Published: (2025)
Continuous Diffusion Models Can Obey Formal Syntax
by: Kim, Jinwoo, et al.
Published: (2026)
by: Kim, Jinwoo, et al.
Published: (2026)
Learning the Error Patterns of Language Models
by: Kim, Jinwoo, et al.
Published: (2026)
by: Kim, Jinwoo, et al.
Published: (2026)
Verified Training for Counterfactual Explanation Robustness under Data Shift
by: Meyer, Anna P., et al.
Published: (2024)
by: Meyer, Anna P., et al.
Published: (2024)
Constrained Adaptive Rejection Sampling
by: Parys, Paweł, et al.
Published: (2025)
by: Parys, Paweł, et al.
Published: (2025)
Grammar-Aligned Decoding
by: Park, Kanghee, et al.
Published: (2024)
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)
by: Gonzalez, Emmanuel Anaya, et al.
Published: (2025)
Verifying Solutions to Semantics-Guided Synthesis Problems
by: Murphy, Charlie, et al.
Published: (2024)
by: Murphy, Charlie, et al.
Published: (2024)
Language-Based Agent Control
by: Zhou, Timothy, et al.
Published: (2026)
by: Zhou, Timothy, et al.
Published: (2026)
Unrealizability Logic
by: Kim, Jinwoo, et al.
Published: (2022)
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)
by: Zhang, Yuhao, et al.
Published: (2024)
Flexible and Efficient Grammar-Constrained Decoding
by: Park, Kanghee, et al.
Published: (2025)
by: Park, Kanghee, et al.
Published: (2025)
Synthesizing Specifications
by: Park, Kanghee, et al.
Published: (2023)
by: Park, Kanghee, et al.
Published: (2023)
LOUD: Synthesizing Strongest and Weakest Specifications
by: Park, Kanghee, et al.
Published: (2024)
by: Park, Kanghee, et al.
Published: (2024)
Zero-shot Factual Consistency Evaluation Across Domains
by: Agarwal, Raunak
Published: (2024)
by: Agarwal, Raunak
Published: (2024)
Fixed-Budget Constrained Best Arm Identification in Grouped Bandits
by: Mukherjee, Raunak, et al.
Published: (2026)
by: Mukherjee, Raunak, et al.
Published: (2026)
Learning Safe Autonomous Driving Policies Using Predictive Safety Representations
by: Keswani, Mahesh, et al.
Published: (2025)
by: Keswani, Mahesh, et al.
Published: (2025)
Collaborative Causal Sensemaking: Closing the Complementarity Gap in Human-AI Decision Support
by: Jain, Raunak
Published: (2025)
by: Jain, Raunak
Published: (2025)
Probabilistic Consensus through Ensemble Validation: A Framework for LLM Reliability
by: Naik, Ninad
Published: (2024)
by: Naik, Ninad
Published: (2024)
X-SYNTH: Beyond Retrieval -- Enterprise Context Synthesis from Observed Digital Human Attention
by: Raghavan, Guruprasad, et al.
Published: (2026)
by: Raghavan, Guruprasad, et al.
Published: (2026)
The Format Tax
by: Lee, Ivan Yee, et al.
Published: (2026)
by: Lee, Ivan Yee, et al.
Published: (2026)
Semantics of Sets of Programs
by: Kim, Jinwoo, et al.
Published: (2024)
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)
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)
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)
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)
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)
by: Maurizia D’Antoni
Published: (2020)
VIGOTSKI, DESARROLLO INFANTIL Y APORTES PARA EL AULA COSTARRICENSE
by: Maurizia D'Antoni
Published: (2009)
by: Maurizia D'Antoni
Published: (2009)
Competencia cultural e inteligencia cultural. Aportes a la mediación cultural docente
by: Maurizia D'Antoni
Published: (2011)
by: Maurizia D'Antoni
Published: (2011)
Derechos humanos de la infancia en un trabajo comunal universitario
by: Maurizia D'Antoni
Published: (2006)
by: Maurizia D'Antoni
Published: (2006)
Crisis en la educación secundaria: ¿reproducir o transformar?
by: Maurizia D'Antoni
Published: (2005)
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)
by: Wurgaft, Daniel, et al.
Published: (2026)
Safe Langevin Soft Actor Critic
by: Keswani, Mahesh, et al.
Published: (2026)
by: Keswani, Mahesh, et al.
Published: (2026)
HH-SAE: Discovering and Steering Hierarchical Knowledge of Complex Manifolds
by: Wu, Honghan, et al.
Published: (2026)
by: Wu, Honghan, et al.
Published: (2026)
Online Convex Optimization with Unbounded Memory
by: Kumar, Raunak, et al.
Published: (2022)
by: Kumar, Raunak, et al.
Published: (2022)
Mitigating Overthinking in Large Reasoning Models via Manifold Steering
by: Huang, Yao, et al.
Published: (2025)
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)
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)
by: Yousefzadeh, Nooshin, et al.
Published: (2024)
Spotlight Your Instructions: Instruction-following with Dynamic Attention Steering
by: Venkateswaran, Praveen, et al.
Published: (2025)
by: Venkateswaran, Praveen, et al.
Published: (2025)
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)