Latest in AI and developer tools

Today's trail

updated 24m ago

Last hour Today

Pulse · upi.com

upi.com · Nov 2

South Korea's HD Hyundai deepens physical AI ties with Palantir

Pulse

Top picks this weekarXiv

arXiv

Oct 30

From 1D Benchmarks to Complex 3D Geometries: Can Agents Reliably Specify Problems for Automated PDE Simulation?

Turning an engineering request into a simulation requires consistent geometry, physics, boundary conditions, and numerical settings. Recent agent-assisted systems automate simulation setup, but successful execution alone does not establish whether the specification preserves the intended problem or correctly handles missing information. We study whether agents can reliably construct complete executable JSON specifications for automated geometry creation, meshing, PDE solving, and result export. Our workflow combines model extraction with deterministic scientific and capability checks, explicit clarification, and validated local patches that preserve unrelated accepted fields. We evaluate specification correctness, execution completion, and numerical verification separately. On 120 template-related requests, the full workflow achieves 98.3% correct first-turn specification and decision outcomes, compared with 92.5% for schema-assisted single shot and 82.5% for model-only: gains of 5.8 and 15.8 percentage points, respectively. It makes no false-ready decisions among the 42 requests requiring clarification or rejection. Component ablations identify contributions from scientific…

Top picks

All arXiv Hugging Face GitHub Hacker News

Latest Top this week

arXiv

Oct 28

Cross-Primitive Consistency in Jev

Jev enables efficient decision-making with large language models (LLMs) through typed querying primitives, allowing the same semantic state to be expressed in different formats, such as binary and multiple-choice queries. However, the consistency of decisions across primitives…

arXiv

Oct 28

When LLM Architectures Meet Smart Contract Vulnerability Detection: a Replication Study

Smart contracts are immutable programs deployed on blockchain platforms, where vulnerabilities can translate directly into financial loss. Among the techniques proposed for their detection, recent work has relied increasingly on Large Language Models (LLMs) guided by carefully…

Hacker News

Oct 28

Barcelona unrest: how to fabricate a protest in the age of TikTok

Discussed on Hacker News · 78 points · 69 comments · theconversation.com

Think Before You Act: Decision Gate for LLM Agents

LLM agents increasingly perform consequential actions through external tools, yet their proposed actions are often executed without independent verification of policy compliance or task completion. We introduce JevAct, a runtime verification framework that intercepts selected…

This week in Multimodal

This week

Get the morning digest

Today's trail

Pulse

Top picks

Today's trail

This week in Multimodal

Most active this week

Rising tools