arXiv AI
Spec2Twin-Chain: Orchestrating Bi-Level Optimization with LLMs for Blockchain Digital Twin Construction
Read the original on arXiv AI →The Flow has not summarised this story yet — read it at arXiv AI.
Related stories
arXiv Machine Learning
Sep 14
GenOR-Twin: A Semantic Middleware for Integrating Operational Discourse with Mathematical Optimization
GenOR‑Twin is a neuro‑symbolic middleware that translates unstructured operational logs into formal constraints for mathematical optimization. It uses Large Language Models as semantic translators, not direct solvers, preserving the feasibility guarantees of exact combinatorial methods. The system dynamically injects constraints in real time, couples operational observations with a virtual model, and adapts its decision policy between schedule repair and full re‑optimization, demonstrating applicability across six optimization domains.
Hugging Face Trending Papers
Aug 6
ChainClaw: A Layered Agent Framework for Reliable On-Chain Execution
General-purpose large language model agents have achieved strong performance on tool-augmented tasks, yet they rely on assumptions break down in blockchain environments. On-chain execution is stateful, adversarial, and economically irreversible, exposing three fundamental gaps: Reactivity, Irreversibility, and Observability.
arXiv AI
Aug 18
Hierarchical Agentic Incident Response with Digital-Twin-Validated Attack Inference
arXiv:2608. 15016v1 Announce Type: cross Abstract: Network incident response remains slow and labor-intensive as the defender must infer multi-stage attacks from partial observations and translate recovery decisions into reliable system commands.
arXiv AI
Aug 7
ChainClaw: A Layered Agent Framework for Reliable On-Chain Execution
arXiv:2608. 05790v1 Announce Type: new Abstract: General-purpose large language model agents have achieved strong performance on tool-augmented tasks, yet they rely on assumptions break down in blockchain environments.
arXiv AI
Aug 18
ReLoop: Structured Modeling and Behavioral Verification for Reliable LLM-Based Optimization
arXiv:2602. 15983v3 Announce Type: replace-cross Abstract: Large language models (LLMs) can translate natural language into optimization code, but silent failures pose a critical risk: code that executes and returns solver-feasible solutions may encode semantically incorrect formulations---a feasibility--correctness gap reaching 90 percentage points on compositional problems.
arXiv AI
Jul 21
CLOSER-Bench: Evaluating Budgeted Cross-Stage Design Closure for Hardware Agents
arXiv:2607. 16632v1 Announce Type: cross Abstract: Hardware engineering exposes coding agents to a form of long-horizon work that is difficult to capture with pass-at-k: progress is continuous, tool feedback is delayed and heterogeneous, and a backend failure may require revising RTL rather than tuning another physical-design parameter.