Reading literature review When Software Security Meets Large Language Models: A Survey https://ieeexplore.ieee.org/abstract/document/10846956

arxiv

如何提高binaryCNN的准确性，这边文章是来自NIPS的Towards Accurate Binary Convolutional Neural 这篇文章有点旧了，时间是NIPS 2017，作者有Wei Pan,因此我可以在曼大找到他，我希望不会有太大的问题，我希望的是如何使用里面的bound 方法去利用bound,因为esbmc 同样使用了bound去找bug,这或许在神经网络训练也可以apply esbmc？

Today is about MCTS. Monte Carlo Tree Search.

今天是2025年4月18日，今天练习一道medium。

在C中: Fixd size data strucutre 有 single subscripted arrays, double subscripted arrays and structs

Here is used to record what I have done and how the UI looks like.