Hugging Face's logo

Veri-Code
community
Activity Feed Request to join this org

AI & ML interests

None defined yet.

Recent Activity

XuhanH  authored a paper about 1 month ago
CALM Before the STORM: Unlocking Native Reasoning for Optimization Modeling
SiniShell1  new activity about 1 month ago
Veri-Code/ReForm-DafnyComp-Benchmark:update DafnyCOMP paper related in readme
yizhilll  authored a paper 3 months ago
TreePO: Bridging the Gap of Policy Optimization and Efficacy and Inference Efficiency with Heuristic Tree-based Modeling
View all activity

XuhanH 
authored a paper about 1 month ago
SiniShell1 
in Veri-Code/ReForm-DafnyComp-Benchmark about 1 month ago

update DafnyCOMP paper related in readme
#3 opened about 1 month ago by
XINLI1997
yizhilll 
authored a paper 3 months ago
yizhilll 
updated a collection 4 months ago
SiniShell1 
in Veri-Code/ReForm-SFT-0.5B 4 months ago

Improve model card for Re:Form: add metadata, links, and usage example
#1 opened 4 months ago by
nielsr
SiniShell1 
in Veri-Code/ReForm-SFT-1.5B 4 months ago

Add comprehensive model card including paper, code, and usage with relevant tags
#1 opened 4 months ago by
nielsr
SiniShell1 
in Veri-Code/ReForm-SFT-3B 4 months ago

Add comprehensive model card for Re:Form
#1 opened 4 months ago by
nielsr
SiniShell1 
in Veri-Code/ReForm-SFT-7B 4 months ago

Add comprehensive model card for Re:Form
#1 opened 4 months ago by
nielsr
SiniShell1 
in Veri-Code/ReForm-14B-RL-entropy 4 months ago

Add model card for Re:Form
#1 opened 4 months ago by
nielsr
SiniShell1 
in Veri-Code/ReForm-DafnyComp-Benchmark 4 months ago

Add dataset card for Re:Form datasets with metadata and links
#2 opened 4 months ago by
nielsr
SiniShell1 
in Veri-Code/ReForm-Python2Dafny-Dataset 4 months ago

Add dataset card for Re:Form dataset
#1 opened 4 months ago by
nielsr
SiniShell1 
authored a paper 4 months ago
XuhanH 
authored a paper 4 months ago
yizhilll 
authored 7 papers 4 months ago