../

Meeting with Tommy

Notes

  • Don’t pollute Claude’s context window by asking it to generate stuff other than the assertions. Let it only generate assertions
  • Try to identify class of problems like they did in VERT
  • It seems that modulus is a big problem for these models
  • Don’t try to restrict assertion generation. Have it run wild for now
  • Just ignore the reset assertion for now
  • Try to verify it in two phases
  • Put it all in a document
  • screen shot these mistakes
  • Start writing the paper
  • Try to see if this comes up in some other design
  • Try to see if this is repeated across runs
  • fix the bind issue to eliminate binding to all possible instantiations