Veri Safe

community

AI & ML interests

None defined yet.

Recent Activity

bigaidream authored a paper 16 days ago

OR-License: Evaluating LLM Agents as Real-World Operations Research Practitioners

XuhanH updated a Space 3 months ago

veri-safe/SWD-Blog

XuhanH published a Space 3 months ago

veri-safe/SWD-Blog

View all activity

authored a paper 16 days ago

OR-License: Evaluating LLM Agents as Real-World Operations Research Practitioners

Paper • 2610.24087 • Published 22 days ago • 31

updated a Space 3 months ago

Sparse Weight Decomposition

Efficient circuit extraction via sparse weight decomposition

published a Space 3 months ago

Sparse Weight Decomposition

Efficient circuit extraction via sparse weight decomposition

published 2 models 3 months ago

veri-safe/SWD

Updated Aug 4 • 4

veri-safe/SWD-Qwen2.5-3B

Updated Aug 4 • 1

updated a collection 3 months ago

Sparse Weight Decomposition

3 items • Updated Aug 4

updated 2 models 3 months ago

veri-safe/SWD-Qwen2.5-3B

Updated Aug 4 • 1

veri-safe/SWD

Updated Aug 4 • 4

authored a paper about 1 year ago

CALM Before the STORM: Unlocking Native Reasoning for Optimization Modeling

Paper • 2510.04204 • Published Oct 5, 2025 • 21

authored a paper over 1 year ago

Diff-Foley: Synchronized Video-to-Audio Synthesis with Latent Diffusion Models

Paper • 2306.17203 • Published Jun 29, 2023

authored a paper over 1 year ago

Mamo: a Mathematical Modeling Benchmark with Solvers

Paper • 2405.13144 • Published May 21, 2024

authored a paper over 1 year ago

Re:Form -- Reducing Human Priors in Scalable Formal Software Verification with RL in LLMs: A Preliminary Study on Dafny

Paper • 2507.16331 • Published Jul 22, 2025 • 22

authored a paper over 1 year ago

Re:Form -- Reducing Human Priors in Scalable Formal Software Verification with RL in LLMs: A Preliminary Study on Dafny

Paper • 2507.16331 • Published Jul 22, 2025 • 22

authored a paper over 1 year ago

Re:Form -- Reducing Human Priors in Scalable Formal Software Verification with RL in LLMs: A Preliminary Study on Dafny

Paper • 2507.16331 • Published Jul 22, 2025 • 22

authored 3 papers over 1 year ago

Thinker: Learning to Think Fast and Slow

Paper • 2505.21097 • Published May 27, 2025 • 11

Learning from Failures in Multi-Attempt Reinforcement Learning

Paper • 2503.04808 • Published Mar 4, 2025 • 18

Generating Symbolic World Models via Test-time Scaling of Large Language Models

Paper • 2502.04728 • Published Feb 7, 2025 • 19