๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
๐Ÿง  Computational Logic

Resolution Theorem Proving, Logic Programming, Automatic Reasoning, Satisfiability

The Lobster Programming Language
strlen.comยท17hยท
Discuss: Hacker News
๐Ÿ”—Concatenative Programming
Harnessing MCP Servers with LangChain and LangGraph: A Comprehensive Guide
dev.toยท1dยท
Discuss: DEV
๐Ÿ”—Constraint Handling
OpenAI: Building the "Everything Platform" in AI
leoniscap.comยท18hยท
Discuss: Hacker News
๐Ÿค–AI Curation
MC3G: Model Agnostic Causally Constrained Counterfactual Generation
arxiv.orgยท9h
๐Ÿ”BitFunnel
A Dynamic Approach to Collaborative Document Writing
arxiv.orgยท9h
๐Ÿ”—Parser Combinators
Fine-Tuning and Deploying GPT Models Using Hugging Face Transformers
blog.jetbrains.comยท1d
๐Ÿค–Grammar Induction
Multi-Agent Visual-Language Reasoning for Comprehensive Highway Scene Understanding
arxiv.orgยท9h
๐ŸŽ™๏ธWhisper
A Defect Classification Framework for AI-Based Software Systems (AI-ODC)
arxiv.orgยท9h
๐Ÿ‘๏ธSystem Observability
Unveiling the Latent Directions of Reflection in Large Language Models
arxiv.orgยท9h
๐Ÿ’ปLocal LLMs
Humans Perceive Wrong Narratives from AI Reasoning Texts
arxiv.orgยท9h
โœ“Automated Theorem Proving
๐Ÿš€ Learning Update
dev.toยท3hยท
Discuss: DEV
๐ŸŒณIncremental Parsing
How Retrieval Algorithms Shape Better LLM Responses?
dev.toยท13hยท
Discuss: DEV
๐Ÿ”Information Retrieval
ALAS: Autonomous Learning Agent for Self-Updating Language Models
arxiv.orgยท1d
๐Ÿ’ปLocal LLMs
Anemoi: A Semi-Centralized Multi-agent Systems Based on Agent-to-Agent Communication MCP server from Coral Protocol
arxiv.orgยท9h
๐ŸคConsensus Protocols
SSFO: Self-Supervised Faithfulness Optimization for Retrieval-Augmented Generation
arxiv.orgยท9h
๐Ÿ”—Monadic Parsing
Graph-R1: Incentivizing the Zero-Shot Graph Learning Capability in LLMs via Explicit Reasoning
arxiv.orgยท9h
๐Ÿ’ปLocal LLMs
modelSolver: A Symbolic Model-Driven Solver for Power Network Simulation and Monitoring
arxiv.orgยท9h
โœจAlgebraic Effects
An experimental approach: The graph of graphs
arxiv.orgยท9h
๐ŸŒˆSpectral Methods
First Place Solution to the MLCAS 2025 GWFSS Challenge: The Devil is in the Detail and Minority
arxiv.orgยท9h
๐ŸงฎKolmogorov Complexity
Demographic Biases and Gaps in the Perception of Sexism in Large Language Models
arxiv.orgยท9h
๐Ÿ“ŠFeed Optimization
Loading...Loading more...
AboutBlogChangelogRoadmap