A large-scale benchmark for embodied human seeking and following.

A competition to test the adversarial robustness of reasoning in frontier math models.

An extensible SMT-based CASP framework for hybrid reasoning.

Anonymized repository containing data and scripts for the 1D-Bench UI code generation benchmark.

Vietnamese hotel recommendation dataset and cold-start benchmark.

A general model for agent control in Minecraft environment for research.

A lightweight neuro-symbolic framework combining neural retrieval with rule-based reasoning.

A fusion model bridging discrete and gridded particulate matter forecasts via omni-query neural processes.

A self-evolving verifier-guided framework for optimizing quantitative trading strategies using LLMs.

A python library for data augmentation of text.

A framework for cross-environment RF fingerprinting using physics-informed structure anchoring.

A Mixture-of-Experts Neural Operator for improved drag prediction in aerodynamic shape optimization.

Share AI skills and prompts with your team through a shared folder.

Code implementation for synchronized visual-facial cross-refinement for behavioral recognition.

A proof assistant used for formalizing research results in mathematics

A daemon that scans program outputs for repeated patterns, and takes action

Tool for checking color contrast accessibility ratios for web and app design.

A storage system designed to alternative to S3-based filesystems.

A Python library for image and geometry processing with a focus on ease of use.

Color-naming based learning framework for interpretable image enhancement.