Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Kaan Kale
Observed name:
Kale, Kaan
Institution:
Georgia Institute of Technology
Observed institutions:
Georgia Institute of Technology,
Boğaziçi University,
The University of Texas at Austin
OpenAlex ID:
A5104343609
ProofBridge: Auto-Formalization of Natural Language Proofs in Lean via Joint Embeddings
2025
·
Jana, Prithwish
, Kale, Kaan
, et al.
·
arXiv (Cornell University)
·
15
PDF
SecureSpectra: Safeguarding Digital Identity from Deep Fake Threats via Intelligent Signatures
2024
·
Oguzhan Baser
, Kaan Kale
, et al.
·
Interspeech (USB)
·
5
PDF
TexShape: Information Theoretic Sentence Embedding for Language Models
2024
·
Kaan Kale
, Homa Esfahanizadeh
, et al.
·
IEEE International Symposium on Information Theory (ISIT)
·
4
PDF
WavShape: Information-Theoretic Speech Representation Learning for Fair and Privacy-Aware Audio Processing
2025
·
Oguzhan Baser
, Ahmet Ege Tanriverdi
, et al.
·
Interspeech (USB)
·
3
PDF
Learning Obfuscations Of LLM Embedding Sequences: Stained Glass Transform
2025
·
Roberts, Jay
, Mylonakis, Kyle
, et al.
·
arXiv (Cornell University)
·
3
PDF
VeryTrace: Verifying Reasoning Traces through Compilable Formalism and Structured Verification
2026
·
Zhong, Ninghan
, Tanriverdi, Ahmet Ege
, et al.
·
arXiv (Cornell University)
·
2
PDF
BeamClean: Language Aware Embedding Reconstruction
2025
·
Kale, Kaan
, Mylonakis, Kyle
, et al.
·
arXiv (Cornell University)
·
2
PDF
The Key Handoff: Retrieval in Hybrid Language Models
2026
·
Kale, Kaan
, Baser, Oguzhan
, et al.
·
arXiv (Cornell University)
·
1
PDF
RoboShape: Information-Theoretic Point Cloud Representations for Privacy-Aware Robot Perception
2026
·
Baser, Oguzhan
, Sozen, Mirac
, et al.
·
arXiv (Cornell University)
·
1
PDF
MultiTok: Variable-Length Tokenization for Efficient LLMs Adapted from LZW Compression
2024
·
Elias, Noel
, Esfahanizadeh, Homa
, et al.
·
arXiv (Cornell University)
·
1
PDF
Prompt-Injection Probes Learn the Conversation, Not Just the Injection
2026
·
Kale, Kaan
, Vishwanath, Sriram
·
arXiv (Cornell University)
PDF
ModalFidelity: Routing Modalities for Deepfake Detection on a Budget
2026
·
Baser, Oguzhan
, Kale, Kaan
, et al.
·
arXiv (Cornell University)
PDF
WaveCommitments: Private and Verifiable Speech-Agent Marketplaces
2026
·
Baser, Oguzhan
, Kale, Kaan
, et al.
·
arXiv (Cornell University)
PDF
Fair Resource Allocation for Fleet Intelligence
2025
·
Oguzhan Baser
, Kaan Kale
, et al.
·
Globecom
PDF
Show more works
View as search
Works count:
14
Citation count:
37
H-index:
3
I10-index:
1
Year
Topic
Type