MaxNoichl/nomic-embed-philosophy-triplets_v1
Sentence Similarity
•
0.1B
•
Updated
•
2
Neuro-symbolic models
-
-
hoanghai2110/HyperMambaLM-300M
Text Generation • Updated • 14 • 1 -
Chan-Y/Florence-2-LaTex-v2
Image-Text-to-Text • 0.3B • Updated • 4 • 4
Symbol-LLM/ENVISIONS_13B_logic_iter8
Text Generation • Updated • 8 • 4Note Paper Link: https://arxiv.org/abs/2406.11736 Code Repo: https://github.com/xufangzhi/ENVISIONS
-
christopherastone/distilgpt2-proofs
Text Generation • 88.2M • Updated • 49 -
cnmoro/prompt-router
Text Classification • 0.1B • Updated • 4 • 2 -
HannaAbiAkl/psychic
Question Answering • Updated • 3 • 3 -
udrearobert999/multi-qa-mpnet-base-cos-v1-contrastive-3e-250samples-20iter
Text Classification • 0.1B • Updated • 24 -
ENTELIJANS/Decima-CLARION-400B
Text Generation • Updated -
upgraedd/apex_truth_engine
Updated -
aieng-lab/math_pretrained_bert_mamut
Updated • 6 • 1 -
WestlakeNLP/CycleReviewer-Llama-3.1-70B
Text Generation • 71B • Updated • 6 -
burakkurt/SENTINEL
Updated -
neuro-symbolic-ai/eb-langcvae-flan_t5-llama3_8b
Updated -
udrearobert999/multi-qa-mpnet-base-cos-v1-poc
Text Classification • 0.1B • Updated • 6 -
flexudy/t5-base-conceptor
Updated • 2 • 4 -
SakanaAI/text-to-lora
Updated • 9 -
Sound and Complete Neuro-symbolic Reasoning with LLM-Grounded Interpretations
Paper • 2507.09751 • Published • 1 -
Unlocking the Potential of Generative AI through Neuro-Symbolic Architectures: Benefits and Limitations
Paper • 2502.11269 • Published • 1 -
The Road to Generalizable Neuro-Symbolic Learning Should be Paved with Foundation Models
Paper • 2505.24874 • Published • 1 -
Neuro-Symbolic Query Compiler
Paper • 2505.11932 • Published • 18 -
HyDRA: A Hybrid-Driven Reasoning Architecture for Verifiable Knowledge Graphs
Paper • 2507.15917 • Published -
VERUS-LM: a Versatile Framework for Combining LLMs with Symbolic Reasoning
Paper • 2501.14540 • Published • 3 -
Thinking Beyond Tokens: From Brain-Inspired Intelligence to Cognitive Foundations for Artificial General Intelligence and its Societal Impact
Paper • 2507.00951 • Published • 24 -
Follow the Flow: Fine-grained Flowchart Attribution with Neurosymbolic Agents
Paper • 2506.01344 • Published • 6 -
WALL-E 2.0: World Alignment by NeuroSymbolic Learning improves World Model-based LLM Agents
Paper • 2504.15785 • Published • 20 -
Improving Rule-based Reasoning in LLMs using Neurosymbolic Representations
Paper • 2502.01657 • Published • 3 -
A DbC Inspired Neurosymbolic Layer for Trustworthy Agent Design
Paper • 2508.03665 • Published • 1 -
Parallel Neurosymbolic Integration with Concordia
Paper • 2306.00480 • Published • 1 -
Neurosymbolic Diffusion Models
Paper • 2505.13138 • Published • 35 -
Enumerate-Conjecture-Prove: Formally Solving Answer-Construction Problems in Math Competitions
Paper • 2505.18492 • Published -
ReTool: Reinforcement Learning for Strategic Tool Use in LLMs
Paper • 2504.11536 • Published • 62 -
GenesisGeo: Technical Report
Paper • 2509.21896 • Published -
Agentic Neural Networks: Self-Evolving Multi-Agent Systems via Textual Backpropagation
Paper • 2506.09046 • Published • 1 -
Reviving DSP for Advanced Theorem Proving in the Era of Reasoning Models
Paper • 2506.11487 • Published • 3 -
Hierarchical Planning for Complex Tasks with Knowledge Graph-RAG and Symbolic Verification
Paper • 2504.04578 • Published • 1 -
OmniReflect: Discovering Transferable Constitutions for LLM agents via Neuro-Symbolic Reflections
Paper • 2506.17449 • Published • 1
