DARPA-ASKEM / GoLLM

Service to run GoLLM and define its tools.
Apache License 2.0
0 stars 0 forks source link

Add groundings to petrinets within gollm #20

Closed j2whiting closed 4 months ago

j2whiting commented 6 months ago
j2whiting commented 5 months ago

MIRA knowledge graph does not have groundings for transitions, so we need to look at generating these on the fly somehow.

j2whiting commented 4 months ago

We won't use MIRA groundings since they dont have groundings for parameters. Only some of the states have groundings