Show HN: Refusal-Aware Logical Framework for LLMs
github.com·18h·
Discuss: Hacker News
🧩Theorem Proving
Flag this post
Continuous Autoregressive Language Models
shaochenze.github.io·7h·
Discuss: Hacker News
🔗Parser Combinators
Flag this post
Grok AI: A Deep Dive into xAI’s Maverick Chatbot
dev.to·2h·
Discuss: DEV
🔗Parser Combinators
Flag this post
[R] Knowledge Graph Traversal With LLMs And Algorithms
reddit.com·12h·
Discuss: r/MachineLearning
🧩Theorem Proving
Flag this post
Dynamic Model Selection for Trajectory Prediction via Pairwise Ranking and Meta-Features
arxiv.org·1d
🎲Probabilistic Programming
Flag this post
Self-Supervised Moving Object Segmentation of Sparse and Noisy Radar Point Clouds
arxiv.org·5h
🎲Probabilistic Programming
Flag this post
Hybrid Quantum-Classical Optimization of the Resource Scheduling Problem
arxiv.org·1d
🔐Cryptography
Flag this post
Building MeridianDB: Solving AI's Memory Crisis with Multi-Dimensional RAG
dev.to·1h·
Discuss: DEV
🎲Probabilistic Programming
Flag this post
Merging Continual Pretraining Models for Domain-Specialized LLMs: A Case Study in Finance
arxiv.org·5h
🧮Programming Language Theory
Flag this post
Approximation by Certain Complex Nevai Operators : Theory and Applications
arxiv.org·5h
⚙Functional Programming
Flag this post
Personal Standard Library - Generic and Type-Safe Containers
reddit.com·12h·
Discuss: r/C_Programming
🧮Programming Language Theory
Flag this post
Engineering.ai: A Platform for Teams of AI Engineers in Computational Design
arxiv.org·1d
🎲Probabilistic Programming
Flag this post
Dynamic Consensus Algorithm Optimization via Adaptive Multi-Agent Reinforcement Learning in Distributed Cognitive Architectures
dev.to·4h·
Discuss: DEV
⚖Algorithmic Game Theory
Flag this post
Challenging DINOv3 Foundation Model under Low Inter-Class Variability: A Case Study on Fetal Brain Ultrasound
arxiv.org·5h
🎲Probabilistic Programming
Flag this post
OSMGen: Highly Controllable Satellite Image Synthesis using OpenStreetMap Data
arxiv.org·1d
🎲Probabilistic Programming
Flag this post
Unsupervised Learning for Industrial Defect Detection: A Case Study on Shearographic Data
arxiv.org·5h
🎲Probabilistic Programming
Flag this post
VidEmo: Affective-Tree Reasoning for Emotion-Centric Video Foundation Models
arxiv.org·5h
🎲Probabilistic Programming
Flag this post
Extensive FPGA and ASIC resource comparison for blind I/Q imbalance estimators and compensators
sciencedirect.com·18h
🏗Computer Architecture
Flag this post
Expertise and confidence explain how social influence evolves along intellective tasks
arxiv.org·5h
📊Information Theory
Flag this post
Microglial-Mediated Neurotoxicity Prediction via Stochastic Hypernetwork Analysis of Amyloid Plaque Interactions
dev.to·10h·
Discuss: DEV
🧫Cellular Automata
Flag this post