Ax Abdelrahman Sayed Sayed, Pierre-Jean Meyer, Mohamed Ghazel 1d ago

TNODEV: Toolbox for Neural ODE Verification

TNODEV toolbox for formal verification of neural ordinary differential equations in safety-critical systems.

Ax Alexis Kafantaris 1d ago

LLM for the development of FCM

Local LLM used to develop fuzzy cognitive maps by extracting quantitative relationships from textual data.

Ax Xufeng Zhao, Fuzhi Yang, Jianhui Chen, Li Gao, Zhang Meng, Jie Gao, Yao Zheng, Congyang Zhao, Tianxiong Lv, Menglin Yang, Minqi Gu, Yaru Zhao, Wenyu Liu, Honglin Han, Shihui Su, Zixiao Tang, Liu Liu, Mu Xu, Yang Cai, Wenbin Tang 1d ago

Behavior Foundations for Quadruped Robots: ABot-C0 Technical Report

Research on motion control for quadruped robots using motion-capture data and humanoid control techniques.

HN _superposition_ 1d ago

Oh My Pi

Oh My Pi: Open-source coding agent with 40+ providers, 32 built-in tools, 55k lines of Rust core, available for macOS/Linux/Windows.

HN gok 1d ago

GPT-5.6 – ARC-AGI Results

GPT-5.6 Sol model achieves 13.33% on ARC-AGI public benchmark, first to win game with multi-step reasoning.

HN akarshhegde18 1d ago

GPT-5.6 Is Live

Stub announcement of GPT-5.6 release.