11 citations
- University of ChicagoUS2 papers
- Colonial Williamsburg FoundationUS1 paper
- Indian Institute of Technology DelhiIN1 paper
- Microsoft Research Asia (China)CN1 paper
- Microsoft Research (India)IN1 paper
- National Yang Ming Chiao Tung UniversityTW1 paper
- Princeton UniversityUS1 paper
- Research Center for Information Technology Innovation, Academia SinicaTW1 paper
- San Francisco SymphonyUS1 paper
- Santa Clara UniversityUS1 paper
- The University of Texas at AustinUS1 paper
- William & MaryUS1 paper
8 papers
Analytical solutions of 1D Maxwell's equations via infinite-order expansions
David Wei Ge
Analytical solutions to Maxwell's equations are essential for understanding the causal and instantaneous behavior of electromagnetic fields, yet they are challenging to obtain in o…
ECLAIR: A Causally-Grounded AI Framework for Scientific Discovery in Empirical Software Engineering
Alejandro Velasco, Daniel Rodriguez-Cardenas, Dipin Khati +2
The scientific method has long guided empirical research in Software Engineering (SE), but the complexity of modern software systems often hinders its systematic application. This…
Hoare meets Heisenberg: A Lightweight Logic for Quantum Programs
Aarthi Sundaram, Robert Rand, Kartik Singhal +2
We show that Gottesman's (1998) semantics for Clifford circuits based on the Heisenberg representation gives rise to a lightweight Hoare-like logic for efficiently characterizing a…
Scaling Textual Gradients via Sampling-Based Momentum
Zixin Ding, Junyuan Hong, Zhan Shi +6
LLM-based prompt optimization, which uses LLM-provided ``textual gradients'' (feedback) to refine prompts, has emerged as an effective method for automatic prompt engineering. Howe…
Approximating local properties by tensor network states with constant bond dimension
Yichen Huang
Classical simulation of quantum many-body systems is a fundamental challenge due to their exponentially large Hilbert spaces. Tensor network states are a powerful ansatz to efficie…
Extreme Meta-Classification for Large-Scale Zero-Shot Retrieval
Sachin Yadav, Deepak Saini, Anirudh Buvanesh +6
We develop accurate and efficient solutions for large-scale retrieval tasks where novel (zero-shot) items can arrive continuously at a rapid pace. Conventional Siamese-style approa…