Get our free extension to see links to code for papers anywhere online!

Add to Chrome

Add to Firefox

Picture for Homer Walke

Homer Walke

Learning Finite Linear Temporal Logic Specifications with a Specialized Neural Operator

Nov 21, 2021
Homer Walke, Daniel Ritter, Carl Trimbach, Michael Littman

Figure 1 for Learning Finite Linear Temporal Logic Specifications with a Specialized Neural Operator

Figure 2 for Learning Finite Linear Temporal Logic Specifications with a Specialized Neural Operator

Figure 3 for Learning Finite Linear Temporal Logic Specifications with a Specialized Neural Operator

Figure 4 for Learning Finite Linear Temporal Logic Specifications with a Specialized Neural Operator

* 10 pages, 5 figures

Access Paper or Ask Questions

Learning to Infer Shape Programs Using Latent Execution Self Training

Nov 25, 2020
Homer Walke, R. Kenny Jones, Daniel Ritchie

Figure 1 for Learning to Infer Shape Programs Using Latent Execution Self Training

Figure 2 for Learning to Infer Shape Programs Using Latent Execution Self Training

Figure 3 for Learning to Infer Shape Programs Using Latent Execution Self Training

Figure 4 for Learning to Infer Shape Programs Using Latent Execution Self Training

* 15 pages, 16 figures

Access Paper or Ask Questions