Veri-Code

community

Activity Feed Request to join this org

AI & ML interests

None defined yet.

updated 2 datasets 2 months ago

Veri-Code/ReForm-Python2Dafny-Dataset

Viewer • Updated May 7 • 17.5k • 188 • 2

Veri-Code/ReForm-DafnyComp-Benchmark

Viewer • Updated May 7 • 300 • 64 • 1

updated 6 models 2 months ago

Veri-Code/ReForm-14B-RL-entropy

Text Generation • 15B • Updated May 7 • 50 • 3

Veri-Code/ReForm-SFT-14B

Text Generation • 15B • Updated May 7 • 73 • 1

Veri-Code/ReForm-SFT-7B

Text Generation • 8B • Updated May 7 • 103 • 1

Veri-Code/ReForm-SFT-3B

Text Generation • 3B • Updated May 7 • 6 • 1

Veri-Code/ReForm-SFT-1.5B

Text Generation • 2B • Updated May 7 • 4

Veri-Code/ReForm-SFT-0.5B

Text Generation • 0.5B • Updated May 7 • 4

authored 12 papers 3 months ago

Transforming Science with Large Language Models: A Survey on AI-assisted Scientific Discovery, Experimentation, Content Generation, and Evaluation

Paper • 2502.05151 • Published Feb 7, 2025 • 1

DocMMIR: A Framework for Document Multi-modal Information Retrieval

Paper • 2505.19312 • Published May 25, 2025 • 1

Audio Contrastive based Fine-tuning

Paper • 2309.11895 • Published Sep 21, 2023 • 1

OmniVideoBench: Towards Audio-Visual Understanding Evaluation for Omni MLLMs

Paper • 2510.10689 • Published Oct 12, 2025 • 46

From Code Foundation Models to Agents and Applications: A Practical Guide to Code Intelligence

Paper • 2511.18538 • Published Nov 23, 2025 • 306

AutoMV: An Automatic Multi-Agent System for Music Video Generation

Paper • 2512.12196 • Published Dec 13, 2025 • 7

Context as a Tool: Context Management for Long-Horizon SWE-Agents

Paper • 2512.22087 • Published Dec 26, 2025 • 4

Encyclo-K: Evaluating LLMs with Dynamically Composed Knowledge Statements

Paper • 2512.24867 • Published Dec 31, 2025 • 1

Dynamic Large Concept Models: Latent Reasoning in an Adaptive Semantic Space

Paper • 2512.24617 • Published Dec 31, 2025 • 67

Large-Scale Terminal Agentic Trajectory Generation from Dockerized Environments

Paper • 2602.01244 • Published Feb 1 • 16

CMI-RewardBench: Evaluating Music Reward Models with Compositional Multimodal Instruction

Paper • 2603.00610 • Published Feb 28 • 36

InCoder-32B: Code Foundation Model for Industrial Scenarios

Paper • 2603.16790 • Published Mar 17 • 312