Pith. sign in

REVIEW

Learning to generate Reliable Broadcast Algorithms

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2208.00525 v1 pith:VDE67SH5 submitted 2022-07-31 cs.DC cs.DScs.LGcs.NI

classification cs.DCcs.DScs.LGcs.NI
keywords algorithmsbroadcastcorrectdistributedfault-tolerantgeneratelearningreliable
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
read the original abstract

Modern distributed systems are supported by fault-tolerant algorithms, like Reliable Broadcast and Consensus, that assure the correct operation of the system even when some of the nodes of the system fail. However, the development of distributed algorithms is a manual and complex process, resulting in scientific papers that usually present a single algorithm or variations of existing ones. To automate the process of developing such algorithms, this work presents an intelligent agent that uses Reinforcement Learning to generate correct and efficient fault-tolerant distributed algorithms. We show that our approach is able to generate correct fault-tolerant Reliable Broadcast algorithms with the same performance of others available in the literature, in only 12,000 learning episodes.

Discussion (0). Continue with ORCID to comment.

Pith tools