Manuscript

Query-adaptive WRRF methods for production search retrieval, showing optimal fusion weights form intervals rather than points and explaining RRF’s near-optimality for a large share of queries.

An agentic system that iteratively synthesizes and refines formal specifications, going beyond verifier acceptance to ensure genuine correctness and completeness.

Evaluating ChatGPT against prior automated approaches for commit message generation, finding it substantially outperforms methods trained specifically on commit data.