4 papers
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…
Fair Resource Allocation for Fleet Intelligence
Oguzhan Baser, Kaan Kale, Po-han Li +1
Resource allocation is crucial for the performance optimization of cloud-assisted multi-agent intelligence. Traditional methods often overlook agents' diverse computational capabil…
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…
MultiTok: Variable-Length Tokenization for Efficient LLMs Adapted from LZW Compression
Noel Elias, Homa Esfahanizadeh, Kaan Kale +2
Large language models have drastically changed the prospects of AI by introducing technologies for more complex natural language processing. However, current methodologies to train…