단일 EML Operator 기반 Symbolic Expression 구조 변환 및 연산 복잡도 분석
What Happens When You Force All Math Through One Operator?
Postgres와 Horner's Method로 1.8만 개 곡선 4ms 내 매칭
How I indexed 18,141 polynomial fan curves in Postgres and matched a duty point in 4 ms
Michigan 대학과 Rutgers 대학이 자동 생성 및 월간 업데이트 벤치마크로 LLM의 추론 능력을 NP-Hard 복잡도 클래스 기준으로 측정하는 NPHardEval 리더보드 공개
NPHardEval Leaderboard: Unveiling the Reasoning Abilities of Large Language Models through Complexity Classes and Dynamic Updates