Login / Signup
L2S: A Framework for Synthesizing the Most Probable Program under a Specification.
Yingfei Xiong
Bo Wang
Published in:
ACM Trans. Softw. Eng. Methodol. (2022)
Keyphrases
</>
main contribution
real time
theoretical framework
conceptual model
learning algorithm
multi agent
probabilistic model
probability distribution
bayesian framework
conceptual framework
program execution