[CVPR 2026] Hilbert-Geo: Solving Solid Geometric Problems by Neural-Symbolic Reasoning
☆43Sep 27, 2026Updated last month
Alternatives and similar repositories for Hilbert-Geo
Users that are interested in Hilbert-Geo are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- OntiCards 是面向企业的 AI 数据中枢（AI Data Hub），围绕业务数据库提供一站式能力：数据源连接、元数据理解、自然语言查询、跨源融合、数据质检、查询审计与数据资产管理等☆724Updated this week
- ☆946Oct 29, 2026Updated last week
- 一条命令，把口播毛片变成可二次精修的剪辑工程。☆963Oct 30, 2026Updated last week
- EdgeRock: Strong Reasoning at Constant Memory. Multimodal models with O(N) generation and O(1) persistent history. Inference and evaluati…☆995Oct 23, 2026Updated 2 weeks ago
- 希儿最初的家~☆730Oct 28, 2026Updated last week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- CraftStation Agent Runtime Composition System☆933Oct 29, 2026Updated last week
- ☆879Oct 16, 2026Updated 3 weeks ago
- MCPHub Desktop 是一款基于 Tauri 2 构建的桌面客户端，用于在个人电脑上统一管理 MCP服务器、Skills、RAG 知识库。所有进程、配置、密钥与向量数据都运行/保存在用户自己的机器上，不依赖任何远端服务。☆1,061Updated this week
- 软件实习项目作业☆984Sep 2, 2026Updated 2 months ago
- Agent Skill 步进治理体系：由程序保证 Agent 不跳步骤（step-gate Rust 门控 + 交付门 + 链治理）☆848Sep 5, 2026Updated 2 months ago
- LLM-first, 3D-native robotics and simulation workspace.☆1,030Updated this week
- Free strategy scorecard for trading backtests. Detect overfitting, weak edge, drawdown risk, and random-timing luck from returns, equity …☆927Oct 25, 2026Updated 2 weeks ago
- Native vLLM serving for Jev decision models☆946Oct 22, 2026Updated 2 weeks ago
- ☆712Oct 8, 2026Updated 3 weeks ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- FactCircuit: an auditable claim-and-evidence verification loop with immutable provenance, staged checks, bounded retrieval, and reproduci…☆926Updated this week
- Open visualization web base for humans and agents☆99Oct 23, 2026Updated 2 weeks ago
- Skill training with a corruption and reconstruction loop: train an agent's skill library, not its weights.☆719Oct 24, 2026Updated 2 weeks ago
- 大模型驱动的npc决策，npc和玩家平权☆1,180Mar 29, 2026Updated 7 months ago
- 基于 Jingyun Studio + DeepSeek Harness (DSH) 打造的一站式 AI 商业化桌面客户端，一个将 AI 智能体 / 技能 / 工作流转化为可交易商品的完整商业化平台客户端。 井云为 DSH 注入了完整的商业闭环：登录注册 → 会员体系 →…☆925Sep 30, 2026Updated last month
- 基于 AI Agent 的产业园区项目管理研究 · 原型验证平台（Prototype，不代表最终产出产品）☆95Updated this week
- [Public preview] Hard human-written reasoning puzzles: 749 answered items in 15 topics (707 scored core), with protocol and scorer.☆95Sep 24, 2026Updated last month
- 5–10x faster browser operations: Jev clicks, Codex thinks and verifies. Built at EZCollegeApp.☆1,209Oct 19, 2026Updated 2 weeks ago
- Open-source, bring-your-own-key (BYOK) multi-model AI chat client for iOS, Android and the web. One LLM client for OpenAI, Anthropic, Goo…☆554Updated this week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- 般若波罗蜜。回到每一个争吵和沉默的节点，看看另一个版本的结局。☆821Sep 17, 2026Updated last month
- ☆568Oct 26, 2026Updated last week
- Run Linux-style commands on Windows via deterministic bash→PowerShell translation. No VM, no WSL. MCP server + CLI built for AI agents (C…☆899Updated this week
- Flatkey media generation CLI for images, videos, audio, text, credits, and model discovery.☆869Updated this week
- Local-first AI agent workspace for multi-agent collaboration, agent orchestration, scoped permissions, evidence-aware runs, and human-in-…☆1,463Updated this week
- Token-scale scientific discovery engine — autonomous hypothesis generation, experiment execution, and knowledge graph synthesis☆1,960Oct 24, 2026Updated 2 weeks ago
- Official PyTorch implementation of VisionHOPE: Visual Backbones as Self-Modifying Learning Systems.☆1,416Oct 12, 2026Updated 3 weeks ago
- project open pipixia☆269Aug 20, 2026Updated 2 months ago
- AI Bro — a local-first workspace for AI conversations, source-linked knowledge, and tasks.☆932Oct 27, 2026Updated last week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Hojo-TTS-Light is a lightweight speech generation model series developed by HojoAI, currently comprising a 0.04B and a 0.08B model.☆612Updated this week
- ☆735Oct 14, 2026Updated 3 weeks ago
- CaoGen — a vendor-neutral, local-first AI work desktop. Multi-provider agent runtime, GUI automation, MCP, Git worktree, task orchestrati…☆112Sep 27, 2026Updated last month
- ☆299Oct 29, 2026Updated last week
- MOMO CODE — RSI *JEV*Pi --AI coding agent that evolves with you☆1,109Oct 27, 2026Updated last week
- The (local & cloud) folder built for your agents.☆1,450Updated this week
- Fifty Years of SAR Automatic Target Recognition: The Road Forward （IEEE GRSM 2026）☆965Oct 5, 2026Updated last month