A.I. Writes Buggy Code. A Silicon Valley Start-Up Wants to Fix It.

These start-ups, including Axiom Math and Harmonic, both in Palo Alto, Calif., and Logical Intelligence in San Francisco, hope to create A.I. systems that can automatically verify computer code in ...

Coding After Coders: The End of Computer Programming as We Know It

In the era of A.I. agents, many Silicon Valley programmers are now barely programming. Instead, what they’re doing is deeply, ...

Inside OpenAI’s Race to Catch Up to Claude Code

Anthropic, a smaller rival started by OpenAI defectors, has found runaway success with its programming agent, Claude Code.
IEEE

Declarative Logic-Based Pareto-Optimal Agent Decision Making

Abstract: There are many applications where an autonomous agent can perform many sets of actions. It must choose one set of actions based on some behavioral constraints on the agent. Past work has ...