Unverified50% confidenceFactExact time
The OjasX repository contains 558 machine-verified Lean 4 theorems, 28 Rocq 9.2 proof files, and 840 automated PyTorch tests.
1
Sources
50%
Confidence
Medium-term (~90 days)
Relevance
10/14/2026
First Seen
Valid until: 1/12/2027
Sources
Related Entities
Related Claims
UnverifiedThe MAQS-Way repository contains the machine-readable 8 principles, 7 test vectors under the conformance/valid/invalid directories, and an evals/ directory for running LoCoMo/LongMemEval.64% similarVerifiedSWE-bench Verified is a human-verified subset of approximately 500 samples, excluding tasks with vague descriptions or unreliable tests.62% similarUnverifiedThe research team conducted controlled experiments on four trained DeBERTa checkpoints across a total of 7,890 claims.62% similarUnverified在沙盒物理模拟测试中，Qwen3 27B主动编写测试脚本进行26项断言检查，反复验证直到10/10全部通过60% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/1025340API
curl https://kongchang.com/api/v1/knowledge/claims/1025340MCP
get_claim(id=1025340)