Home Arrow Icon Knowledge base Arrow Icon Global Arrow Icon 有没有特定的pytorch apis来斗争


有没有特定的pytorch apis来斗争


Pytorch张量形状误差分析仪Pytea设计用于静态扫描Pytorch应用程序,并通过分析执行路径和张量形状约束来检测可能的形状误差。但是,如果Pytea在其框架内没有完全实施或支持,则可能会与某些Pytorch API斗争。

如果代码包含尚未实施的Pytorch或其他第三方API,则PYTEA的分析可能会引起错误警报。这意味着,如果Pytea遇到未完成的API调用,则可能会错误地将其标记为错误或发出警告。该工具记录每个未完成的API调用在其日志中,使用户可以识别不支持哪些特定API [10]。

此外,Pytea的有效性可能会受到分析代码的复杂性的限制。例如,如果代码涉及很难处理SMT求解器(Z3)处理的复杂操作或非线性约束,则PYTEA可能将这些案例归类为“无法确定的”和超时[10]。但是,与Pytea斗争的特定Pytorch API并未明确列出,但是任何未完成或过于复杂的操作都可能构成挑战。

引用:
[1] https://arxiv.org/pdf/2112.09037.pdf
[2] https://stackoverflow.com/questions/59158044/59158044/installing-a-specific-pytorch-build-f-e-f-e-f-e-cpu- onely-holly with-with-with-poetry
[3] https://pytorch.org/docs/stable/func.ux_limitations.html
[4] https://pytorch.org/docs/stable/torch.compiler_fine_grain_grain_apis.html
[5] https://pytorch.org/functorch/stable/ux_limitations.html
[6] https://discuss.pytorch.org/t/survey-what-what-aare-you-using-the-capi-for/55163
[7] https://docs.habana.ai/en/latest/pytorch_customop_api/page_index.html
[8] https://discuss.pytorch.org/t/is-there-there-there-an-elegant-way-to-calculate-calculate-integral-image-image-imimimage-iusing-pytorch-api/22669
[9] https://www.altexsoft.com/blog/pytorch-library/
[10] https://github.com/ropas/pytea