Veri Safe

community

AI & ML interests

None defined yet.

Recent Activity

XuhanH updated a Space 1 day ago

veri-safe/SWD-Blog

XuhanH published a Space 2 days ago

veri-safe/SWD-Blog

XuhanH published a model 2 days ago

View all activity

updated a Space 1 day ago

Sparse Weight Decomposition

Efficient circuit extraction via sparse weight decomposition

published a Space 2 days ago

Sparse Weight Decomposition

Efficient circuit extraction via sparse weight decomposition

published 2 models 2 days ago

veri-safe/SWD

Updated 2 days ago • 2

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

Updated 2 days ago

updated a collection 2 days ago

Sparse Weight Decomposition

3 items • Updated 2 days ago

updated 2 models 2 days ago

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

Updated 2 days ago

veri-safe/SWD

Updated 2 days ago • 2

authored a paper 10 months ago

CALM Before the STORM: Unlocking Native Reasoning for Optimization Modeling

Paper • 2510.04204 • Published Oct 5, 2025 • 21

authored a paper about 1 year ago

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

Paper • 2306.17203 • Published Jun 29, 2023

authored a paper about 1 year ago

Mamo: a Mathematical Modeling Benchmark with Solvers

Paper • 2405.13144 • Published May 21, 2024

authored a paper about 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 about 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 about 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 about 1 year ago

Thinker: Learning to Think Fast and Slow

Paper • 2505.21097 • Published May 27, 2025 • 11

authored 3 papers over 1 year ago

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

OpenCoder: The Open Cookbook for Top-Tier Code Large Language Models

Paper • 2411.04905 • Published Nov 7, 2024 • 128