../

Meeting with Tommy

  • Complete running the benchmark
  • Find good expressions for mining
  • Look into RISC-V pdf and attempt to use an LLM to convert that into an assertion
    • See if any implementations violate that
  • Siemens tools
  • LLM + Checkers
    • Look into what checkers actually are
    • See if there are existing work in creating checkers