Translating English Sentences into Propositional Logic Statements
nbviewer.ipython.org·5d
🌳Context free grammars
A multi-platform GPU accelerated library for signal analysis using Apple MLX
byron-the-bulb.github.io·22h·
Discuss: Hacker News
📊Spectrograms
Solution designs should only be a few pages
frederickvanbrabant.com·1d·
Discuss: Hacker News, r/programming
📋Document Layout
Real-Time AI-Powered DDoS Detection
timeplus.com·3h·
Discuss: Hacker News
🕵️Network Forensics
Petri: An open-source auditing tool to accelerate AI safety research \ Anthropic
anthropic.com·1d·
Discuss: Hacker News
🎯Threat Hunting
Smart Specs: Automating Engineering Standards for Error-Free Design
vibe.forem.com·2d·
Discuss: DEV
📋Format Specification
Assessing the impact of contact time on leachate chemistry from recycled concrete aggregates
arxiv.org·14h
🧪Cassette Chemistry
2 Math Problems Fall to LLM: Tsumura's 554 solved, Majority Optimality Disproved
nednex.com·1d·
Discuss: Hacker News
🧮SMT Solvers
What Happens Behind the Scenes When You Run Python Code
dev.to·1d·
Discuss: DEV
🔓Decompilation
How I Used ChatGPT to Land My Next Data Science Role
towardsdatascience.com·1d
🗺️Competency Maps
Mapping Patient-Perceived Physician Traits from Nationwide Online Reviews with LLMs
arxiv.org·14h
🔍Information Retrieval
CoPA: Hierarchical Concept Prompting and Aggregating Network for Explainable Diagnosis
arxiv.org·14h
🧠Machine Learning
AI-Driven Predictive Maintenance for Mooring Winch Systems via Dynamic Bayesian Network Optimization
dev.to·1d·
Discuss: DEV
🧠Machine Learning
Retrieval-Augmented Framework for LLM-Based Clinical Decision Support
arxiv.org·4d
🔍Information Retrieval
Responsible AI: How PowerSchool safeguards millions of students with AI-powered content filtering using Amazon SageMaker AI
aws.amazon.com·23h
🤖AI Curation
SurveyBench: How Well Can LLM(-Agents) Write Academic Surveys?
arxiv.org·1d
🗣️Domain-Specific Languages
Language, Culture, and Ideology: Personalizing Offensiveness Detection in Political Tweets with Reasoning LLMs
arxiv.org·1d
📊Feed Optimization
Adventures on the AI Coding side of things
medium.com·1d·
Discuss: Hacker News
🌍Cultural Algorithms
Goodbye Valve Spec Nightmares: AI's Got Your Back
dev.to·2d·
Discuss: DEV
⚙️Proof Engineering
MuFFIN: Multifaceted Pronunciation Feedback Model with Interactive Hierarchical Neural Modeling
arxiv.org·14h
🗣️CMU Pronouncing