arXiv ScienceSearch

arXiv subjects

Eric Tan

Publications and source records attributed to Eric Tan.

3 recordsLinked to original sources

ARCHER: Agentic Rule and Compliance Harness for Executable Regulations

Verifying building compliance requires validating thousands of rules against large Building Information Modeling (BIM) designs, which is laborious, capital-intensive, and unscalable. Existing Automated Compliance Checkers (ACCs) are often difficult to generalize across different scenarios, as they are typically developed for highly specific rule sets and use cases. In addition, many ACCs are proprietary, meaning the underlying verification code is not released to end users, so users cannot verify whether their regulatory intent can be accurately captured. We introduce ARCHER (Agentic Rule and Compliance Harness for Executable Regulations), a test-driven, deterministically orchestrated multi-agent program-synthesis harness that generates auditable verification code from regulatory Codes of Practice, enabling transparent, adaptable, and scalable compliance checking. To characterize what makes agentic synthesis work, we evaluate a taxonomy of six harnesses of increasing agentic sophistication across four backbone models, spanning realistic data-governance tiers (from frontier third-party APIs to a fully on-premise open-weights model) on a novel dataset derived from real-world compliance scenarios. ARCHER's deterministic multi-agent orchestration achieves the highest accuracy for every backbone, improving mean union accuracy by 82% over a naive single-pass prompting baseline. Our cost-accuracy analysis further shows that using the ARCHER harness, a self-hosted open-weights model can reach 97.8% of frontier-API accuracy at a quarter of the cost, making data-sovereign compliance checking practical.

cs.MA

Scattering off a junction

Scattering off a potential is a fundamental problem in quantum physics. It has been studied extensively with amplitudes derived for various potentials. In this article, we explore a setting with no potentials, where scattering occurs off a junction where many wires meet. We study this problem using a tight-binding discretization of a star graph geometry -- one incoming wire and $M$ outgoing wires intersecting at a point. When an incoming wave scatters, one part is reflected along the same wire while the rest is transmitted along the others. Remarkably, the reflectance increases monotonically with $M$, i.e., the greater the number of outgoing channels, the more the particle bounces back. In the $M \rightarrow \infty$ limit, the wave is entirely reflected back along the incoming wire. We rationalize this observation by establishing a quantitative mapping between a junction and an on-site potential. To each junction, we assign an equivalent potential that produces the same reflectance. As the number of wires ($M$) increases, the equivalent potential also increases. A recent article by one of us has drawn an equivalence between junctions and potentials from the point of view of bound state formation. Our results here show that the same equivalence also holds for scattering amplitudes. We verify our analytic results by simulating wavepacket motion through a junction. We extend the wavepacket approach to two dimensions where analytic solutions cannot be found. An incoming wave travels on a sheet and scatters off a point where many sheets intersect. Unlike in 1D, the equivalent potential is momentum-dependent. Nevertheless, for any given momentum, the equivalent potential grows monotonically with the number of intersecting sheets. Our findings can be tested in ultracold atom setups and semiconductor structures.

cond-mat.quant-gas

HAWQV3: Dyadic Neural Network Quantization

Current low-precision quantization algorithms often have the hidden cost of conversion back and forth from floating point to quantized integer values. This hidden cost limits the latency improvement realized by quantizing Neural Networks. To address this, we present HAWQV3, a novel mixed-precision integer-only quantization framework. The contributions of HAWQV3 are the following: (i) An integer-only inference where the entire computational graph is performed only with integer multiplication, addition, and bit shifting, without any floating point operations or even integer division; (ii) A novel hardware-aware mixed-precision quantization method where the bit-precision is calculated by solving an integer linear programming problem that balances the trade-off between model perturbation and other constraints, e.g., memory footprint and latency; (iii) Direct hardware deployment and open source contribution for 4-bit uniform/mixed-precision quantization in TVM, achieving an average speed up of $1.45\times$ for uniform 4-bit, as compared to uniform 8-bit for ResNet50 on T4 GPUs; and (iv) extensive evaluation of the proposed methods on ResNet18/50 and InceptionV3, for various model compression levels with/without mixed precision. For ResNet50, our INT8 quantization achieves an accuracy of $77.58\%$, which is $2.68\%$ higher than prior integer-only work, and our mixed-precision INT4/8 quantization can reduce INT8 latency by $23\%$ and still achieve $76.73\%$ accuracy. Our framework and the TVM implementation have been open sourced.

cs.CV