Veltraxor

ConorWang's activity

• All
• Models
• Datasets
• Spaces
• Buckets
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

updated a dataset 26 days ago

tsinghua-sigs-robot-lab/VeriLoop-Structural-Repair-Verified

Viewer • Updated 26 days ago • 31.4k • 248

published a dataset 26 days ago

tsinghua-sigs-robot-lab/VeriLoop-Structural-Repair-Verified

Viewer • Updated 26 days ago • 31.4k • 248

updated a dataset 29 days ago

tsinghua-sigs-robot-lab/VeriLoop-Governed-Recurrence-Verified

Viewer • Updated 29 days ago • 225k • 198 • 1

updated a model about 1 month ago

tsinghua-sigs-robot-lab/veriloop-coder-e1

Text Generation • 28B • Updated Aug 18 • 432 • 26

New activity in Qwen/Qwen3.8-27B about 1 month ago

Thank you to the wonderful Qwen team!

❤️🔥 6

#12 opened about 1 month ago by

ConorWang

liked a model about 1 month ago

Qwen/Qwen3.8-27B

Image-Text-to-Text • 28B • Updated Aug 14 • 7.15M • • 16k

New activity in asmanovlev/veriloop-coder-e1-heretic-i1-GGUF about 1 month ago

Appreciation for Your VeriLoop Coder-E1 Work and a Future Invitation

🤗❤️ 1

#1 opened about 1 month ago by

ConorWang

New activity in rodrigoramosrs/veriloop-coder-e1-gguf about 1 month ago

VeriLoop Coder-E1 Quantization Acknowledgement and Invitation to VeriLoop Coder-E2

1

#2 opened about 1 month ago by

ConorWang

liked a model about 1 month ago

huginnfork/Qwen3.8-27B-FP8

Image-Text-to-Text • 28B • Updated Aug 14 • 17.5k • 39

published a dataset about 1 month ago

tsinghua-sigs-robot-lab/VeriLoop-Governed-Recurrence-Verified

Viewer • Updated 29 days ago • 225k • 198 • 1

New activity in huginnfork/Qwen3.8-27B-FP8 about 1 month ago

nothingburger

👍 4

4

#1 opened about 1 month ago by

wijjjj

New activity in huggingface/InferenceSupport about 1 month ago

tsinghua-sigs-robot-lab/veriloop-coder-e1

#11590 opened about 1 month ago by

ConorWang

New activity in tsinghua-sigs-robot-lab/veriloop-coder-e1 about 2 months ago

Backbone tool calling issue persisted

4

#5 opened about 2 months ago by

weisunding

SWE-bench Pro: veriloop vs GLM 5.2, 62.38% vs 62.1%

1

#4 opened about 2 months ago by

weisunding

updated a dataset about 2 months ago

tsinghua-sigs-robot-lab/veriloop-coder-e1-evaluation-evidence

Updated Jul 30 • 1.06k

published a dataset about 2 months ago

tsinghua-sigs-robot-lab/veriloop-coder-e1-evaluation-evidence

Updated Jul 30 • 1.06k

liked a model about 2 months ago

asmanovlev/veriloop-coder-e1-heretic

Updated Jul 28 • 10 • 1

New activity in tsinghua-sigs-robot-lab/veriloop-coder-e1 about 2 months ago

Transparency Is Not Entitlement: The Surface Host Adapter Is Open; the Self-Harness Is Not

3

#3 opened about 2 months ago by

ConorWang

Transparency Is Not Entitlement: The Surface Host Adapter Is Open; the Self-Harness Is Not

#2 opened about 2 months ago by

ConorWang

liked a model about 2 months ago

tsinghua-sigs-robot-lab/veriloop-coder-e1

Text Generation • 28B • Updated Aug 18 • 432 • 26