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 ...
IEEE

Game-Theoretic Incentive Mechanism for Blockchain-Based Federated Learning

Abstract: Blockchain-based federated learning (BFL) has gained attention for its potential to establish decentralized trust. While existing research primarily focuses on personalized frameworks for ...
IEEE

Human Strategy Learning-Based Multi-Agent Deep Reinforcement Learning for Online Team Sports Game

Abstract: In 3 vs. 3 online basketball games, finite state machine (FSM)-based Game artificial intelligence (AI) has traditionally been employed. However, limitations such as repetitive behavior ...