By-Eureka

university

https://by-eureka.org/

AI & ML interests

None defined yet.

Recent Activity

Debargha submitted a paper 4 days ago

Scaling Lean Theorem Proving for Real-World Code Verification

Debargha submitted a paper 28 days ago

How to Loop MoE: Flatten the Experts, Untie the Attention

Debargha authored a paper about 2 months ago

Beyond Solver Verdicts: Generative Reward Models for Autoformalization

View all activity

submitted a paper to Daily Papers 4 days ago

Scaling Lean Theorem Proving for Real-World Code Verification

Paper • 2610.38174 • Published 6 days ago • 7

submitted a paper to Daily Papers 28 days ago

How to Loop MoE: Flatten the Experts, Untie the Attention

Paper • 2609.35751 • Published Sep 28 • 15

authored 5 papers about 2 months ago

Beyond Solver Verdicts: Generative Reward Models for Autoformalization

Paper • 2609.11085 • Published Sep 10 • 13

StochBench: A Domain-Specific Benchmark for Stochastic Processes in Lean

Paper • 2609.09264 • Published Sep 8 • 9

Test-Time Scaling in Reasoning LLMs: Inference Regimes, Evaluation, and Reproducibility

Paper • 2608.04001 • Published Aug 4 • 1

Mid-Think: Training-Free Intermediate-Budget Reasoning via Token-Level Triggers

Paper • 2601.07036 • Published Jan 11

Trust The Typical

Paper • 2602.04581 • Published Feb 4 • 2

authored a paper about 2 months ago

StochBench: A Domain-Specific Benchmark for Stochastic Processes in Lean

Paper • 2609.09264 • Published Sep 8 • 9

submitted a paper to Daily Papers about 2 months ago

StochBench: A Domain-Specific Benchmark for Stochastic Processes in Lean

Paper • 2609.09264 • Published Sep 8 • 9

submitted a paper to Daily Papers 9 months ago

Trust The Typical

Paper • 2602.04581 • Published Feb 4 • 2

authored 2 papers about 1 year ago

Topic-Based Watermarks for Large Language Models

Paper • 2404.02138 • Published Apr 2, 2024

Watermarking Without Standards Is Not AI Governance

Paper • 2505.23814 • Published May 27, 2025

authored 2 papers over 1 year ago

Forte : Finding Outliers with Representation Typicality Estimation

Paper • 2410.01322 • Published Oct 2, 2024 • 2

Grammars of Formal Uncertainty: When to Trust LLMs in Automated Reasoning Tasks

Paper • 2505.20047 • Published May 26, 2025 • 3