Scholar

Kaan Kale

Google Scholar ID: oGQHjioAAAAJ

Undergraduate Student, Bogazici University

Google Scholar↗

Citations & Impact

All-time

Citations

12

H-index

2

i10-index

0

Publications

8

Co-authors

10

list available

Contact

No contact links provided.

Publications

7 items

VeryTrace: Verifying Reasoning Traces through Compilable Formalism and Structured Verification

2026

Cited

0

ProofBridge: Auto-Formalization of Natural Language Proofs in Lean via Joint Embeddings

2025

Cited

0

Fair Resource Allocation for Fleet Intelligence

2025

Cited

0

WavShape: Information-Theoretic Speech Representation Learning for Fair and Privacy-Aware Audio Processing

2025

Cited

0

Learning Obfuscations Of LLM Embedding Sequences: Stained Glass Transform

2025

Cited

0

BeamClean: Language Aware Embedding Reconstruction

2025

Cited

0

MultiTok: Variable-Length Tokenization for Efficient LLMs Adapted from LZW Compression

arXiv.org · 2024

Cited

0

Resume (English only)

Co-authors

10 total

Oğuzhan Başer

PhD Student at The University of Texas at Austin

Sandeep P Chinchali

Assistant Professor, UT Austin ECE

Sriram Vishwanath

Homa Esfahanizadeh

Research Scientist, Nokia Bell Labs

Professor of EECS, MIT

Ahmet Ege Tanriverdi

Undergraduate Student, Bogazici University