kofdai 7 karma 62d on HN HN profile →
Student developer focused on Symbolic AI. Creator of Verantyx-v6: reaching 19.8% on ARC-AGI-2 using pure logic (LLM-free). GitHub: https://github.com/Ag3497120/verantyx-v6
Coverage
We've seen 1 of an unknown number of submissions
Full eval: 1 Lite-only: 0 Unevaluated: 0
Deep Read section-level analysis · 1 full evaluation
HRCB +0.15 range 0.00 · +100% / 0% / 0%−
E-full / S +0.09 / +0.07 SETL +0.07
Signals EQ 0.17 SO 0.46 TD 0.00
UDHR Fingerprint Preamble: +0.20 Freedom & Equality: ND Non-Discrimination: ND Life & Liberty: ND No Slavery: ND No Torture: ND Legal Personhood: ND Equal Protection: ND Right to Remedy: ND No Arbitrary Detention: ND Fair Hearing: ND Presumption of Innocence: ND Privacy: ND Freedom of Movement: ND Asylum: ND Nationality: ND Marriage & Family: ND Property: -0.05 Freedom of Thought: ND Free Expression: +0.30 Assembly: ND Political Participation: ND Social Security: ND Work & Pay: ND Rest & Leisure: ND Standard of Living: ND Education: +0.15 Culture & Science: +0.35 Social Order: +0.10 Duties: 0.00 No Destruction of Rights: ND
1 stories
1.
HRCB +0.15
E +0.09
S +0.07
I beat Grok 4 on ARC-AGI-2 using a CPU-only symbolic engine (18.1% score) (github.com)
11 points by kofdai 5 days ago | 6 comments | hrcb v3.7 Scientific Advancement