5 papers
VeryTrace: Verifying Reasoning Traces through Compilable Formalism and Structured Verification
Ninghan Zhong, Ahmet Ege Tanriverdi, Kaan Kale +1
Multi-step reasoning with Chain-of-Thought (CoT) prompting remains fragile: logical errors or hallucinations in early steps silently propagate, producing confident but incorrect co…
Variance Reduction for Non-Log-Concave Sampling with Applications to Inverse Problems
M. Berk Sahin, Ahmet Ege Tanriverdi, Behzad Sharif +1
Sampling from high-dimensional, non-log-concave distributions with unnormalized densities is a fundamental challenge in machine learning, particularly when the exact gradient of th…
ProofBridge: Auto-Formalization of Natural Language Proofs in Lean via Joint Embeddings
Prithwish Jana, Kaan Kale, Ahmet Ege Tanriverdi +3
Translating human-written mathematical theorems and proofs from natural language (NL) into formal languages (FLs) like Lean 4 has long been a significant challenge for AI. Most sta…
WavShape: Information-Theoretic Speech Representation Learning for Fair and Privacy-Aware Audio Processing
Oguzhan Baser, Ahmet Ege Tanriverdi, Kaan Kale +2
Speech embeddings often retain sensitive attributes such as speaker identity, accent, or demographic information, posing risks in biased model training and privacy leakage. We prop…
PhonemeFake: Redefining Deepfake Realism with Language-Driven Segmental Manipulation and Adaptive Bilevel Detection
Oguzhan Baser, Ahmet Ege Tanriverdi, Sriram Vishwanath +1
Deepfake (DF) attacks pose a growing threat as generative models become increasingly advanced. However, our study reveals that existing DF datasets fail to deceive human perception…